2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings ... Computer Science and General Issues)
Автор:
Krishnendu Chatterjee
, Автор:
Thomas A. Henzinger
Категория:
Компьютеры
Размер книги: 3.08 Mb
Computer Aided Verification, 8 conf., CAV '96
Автор:
Rajeev Alur
, Автор:
Thomas Henzinger
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 5.09 Mb
Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Автор:
Jacques Duparc
, Автор:
Thomas A. Henzinger
Размер книги: 9.49 Mb
Computer Science Logic, 21 conf., CSL 2007
Автор:
Jacques Duparc
, Автор:
Thomas A. Henzinger
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 6.02 Mb
Hybrid Systems III: Verification and Control: No. 3
Автор:
Rajeev Alur
, Автор:
Thomas A. Henzinger
, Автор:
Eduardo D. Sontag
Размер книги: 5.84 Mb
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
Автор:
Thomas A. Henzinger
, Автор:
Shankar Sastry
Размер книги: 4.54 Mb
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Автор:
Thomas A. Henzinger
, Автор:
Christoph M. Kirsch
Размер книги: 4.55 Mb
